-
1 deductive closure
Большой англо-русский и русско-английский словарь > deductive closure
-
2 deductive closure
Математика: дедуктивное замыкание -
3 deductive closure
-
4 closure
1) замыкание2) закрытие; закрывание; запирание3) преграда; ограждение4) затвор; перегородка5) строит. неполномерный кирпич7) метал. заделка лётки8) герметизация9) крышка; уплотнение11) геод. невязка•domain of closure — физ. замыкающий домен
theory of closure — матем. теория замыканий
-
5 дедуктивное замыкание
Большой англо-русский и русско-английский словарь > дедуктивное замыкание
-
6 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system
См. также в других словарях:
Deductive closure — For other uses, see Closure (disambiguation). Peter D. Klein, in the second edition of The Cambridge Dictionary of Philosophy, defines closure as follows: A set of objects, O, is said to exhibit closure or to be closed under a given operation, R … Wikipedia
deductive closure — noun The set of all the statements that can be deduced from a given set of statements … Wiktionary
Closure — may refer to: Closure (container) used to seal a bottle, jug, jar, can, or other container Closure (wine bottle), a stopper Closure (business), the process by which an organization ceases operations Closure (philosophy), a principle in… … Wikipedia
Closure operator — In mathematics, a closure operator on a set S is a function cl: P(S) → P(S) from the power set of S to itself which satisfies the following conditions for all sets X,Y ⊆ S. X ⊆ cl(X) (cl is extensive) X ⊆ Y implies cl(X) ⊆ cl(Y) (cl… … Wikipedia
List of philosophy topics (D-H) — DDaDai Zhen Pierre d Ailly Jean Le Rond d Alembert John Damascene Damascius John of Damascus Peter Damian Danish philosophy Dante Alighieri Arthur Danto Arthur C. Danto Arthur Coleman Danto dao Daodejing Daoism Daoist philosophy Charles Darwin… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia
Craig's theorem — In mathematical logic, Craig s theorem states that any recursively enumerable set of well formed formulas of a first order language is (primitively) recursively axiomatizable. This result is not related to the well known Craig interpolation… … Wikipedia
List of topics in epistemology — * A Defence of Common Sense * A priori and a posteriori (philosophy) * Adaptive representation * Aenesidemus * Aenesidemus (book) * Agrippa the Sceptic * Alison Wylie * Alvin Goldman * Analytic synthetic distinction * Androcentrism * Android… … Wikipedia
Robert Nozick — Full name Robert Nozick Born November 16, 1938(1938 11 16) Brooklyn, New York Died January 23, 2002 … Wikipedia